<html>
<body>
Use prefix type syntax for a infix binary type application.
</body>
</html>